Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
نویسندگان
چکیده
We study the introduction of transitions with Phase-type distribution ring time in (bounded) generalized stochastic Petri nets. Such transitions produce large increases of both space and time complexity for the computation of the steady state probabilities of the underlying Markov chain. We propose a new approach to limit this phenomenon while keeping full stochastic semantics of previous works. The method is based on a structural decomposition of the net. We establish conditions under which this decomposition leads to a tensor expression of the generator of the chain. The tensor expression is used to solve the chain with an iterative method.
منابع مشابه
Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملcient Handling of Phase - type Distributions inGeneralized Stochastic Petri
We study the introduction of transitions with Phase-type distribution ring time in (bounded) generalized stochastic Petri nets. Such transitions produce large increases of both space and time complexity for the computation of the steady state probabilities of the underlying Markov chain. We propose a new approach to limit this phenomenon while keeping full stochastic semantics of previous works...
متن کاملAnalytical solution of non-Markovian Stochastic Petri nets
This paper presents an analytical approach for the analysis of non-Markovian stochastic Petri nets. The primary aim of the presented solution method is its universal applicability. Therefore, an approach based on discrete phase type distributions has been chosen to perform the necessary Markovization. For the handling of the resulting state space explosion problem, symbolic storage structures, ...
متن کاملA characterization of the stochastic process underlying a stochastic Petri net
Stochastic Petri nets (SPNs) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPNs), deterministic and stochastic Petri nets (DSPNs), semi-Markovia...
متن کاملA Characterization of the Stochastic Process Underlying a Stochastic Petri
|Stochastic Petri nets (SPNs) with generally distributed ring times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly eecient solution. Generalized stochastic Petri nets (GSPNs), deter-ministic and stochastic Petri nets (DSPNs), semi-Markovian ...
متن کامل